条形装箱问题的优化模型和增广Lagrange算法

This paper formulates a two-dimensional strip packing problem as a non-linear programming(NLP)problem and establishes the first-order optimality con-ditions for the NLP problem.A numerical algorithm for solving this NLP problemis given to find exact solutions to strip-packing problems involving up to 10 items.Approximate solutions can be found for big-sized problems by decomposing the setof items into small-sized blocks of which each block adopts the proposed numericalalgorithm.Numerical results show that the approximate solutions to big-sized prob-lems obtained by this method are superior to those by NFDH,FFDH and BFDHapproaches.     

THE DESIGNS OF HIGH EFFICIENCY LAUNCHER OF QUASI-OPTICAL MODE CONVERTER FOR HIGH POWER GYROTRONS

A high efficiency launcher of quasi-optical (QO) mode converters for high power gyrotrons have been designed and tested. A helical cut launcher radiates the RF power via its straight cut onto the first phase correcting mirror. The launchers have been optimized for the TE_31.8 mode at 170 GHz and TE_22.6 mode at 110 GHz by numerically optimizing a launcher surface. The helical cut of the launcher has been optimized by taking the taper angle into account. Further more, the amplitude of the surface perturbation have been optimized for improved focusing in order to reduce the diffraction losses at the helical cut. Low power measurement shows a good agreement with the design. High efficiency characteristics of the design have also been calculated on the assumption of frequency downshift due to the thermal expansion of the cavity and stepwise frequency tuning by changing the operating mode. Besides, the possibility of high efficiency launcher for higher mode is discussed, and these results give the prospect to high efficiency long pulse gyrotrons.     

Kuhn-Tucker条件与线性规划的对偶性

证明了线性规划的K uhn-Tucker条件蕴含着它的对偶问题,解释了L agrange乘子的意义.进而显示了K-T条件中的互补松驰性与对偶线性规划的互补松紧定理之间的联系.     

On the Lp–Lq maximal regularity for Stokes equations with Robin boundary condition in a bounded domain

We obtain the L_p–L_q maximal regularity of the Stokes equations with Robin boundary condition in a bounded domain in ?ⁿ (n?2). The Robin condition consists of two conditions: v ? u=0 and αu+β(T(u, p)v – 〈T(u, p)v, v〉v)=h on the boundary of the domain with α, β?0 and α+β=1, where u and p denote a velocity vector and a pressure, T(u, p) the stress tensor for the Stokes flow and v the unit outer normal to the boundary of the domain. It presents the slip condition when β=1 and non‐slip one when α=1, respectively. The slip condition is appropriate for problems that involve free boundaries. Copyright © 2006 John Wiley & Sons, Ltd.     

Order conditions for linearly implicit fractional step Runge Kutta methods

^{In this paper, we study the consistency of a variant of fractionalstep Runge–Kutta methods. These methods are designed tointegrate efficiently semi-linear multidimensional parabolicproblems by means of linearly implicit time integration processes.Such time discretization procedures are also related to a splittingof the space differential operator (or the spatial discretizationof it) as a sum of ‘simpler’ linear differentialoperators and a nonlinear term.}     

JACOBI PSEUDOSPECTRAL METHOD FOR FOURTH ORDER PROBLEMS

In this paper, we investigate Jacobi pseudospectral method for fourth order problems. We establish some basic results on the Jacobi-Gauss-type interpolations in non-uniformly weighted Sobolev spaces, which serve as important tools in analysis of numerical quadratures, and numerical methods of differential and integral equations. Then we propose Jacobi pseudospectral schemes for several singular problems and multiple-dimensional problems of fourth order. Numerical results demonstrate the spectral accuracy of these schemes, and coincide well with theoretical analysis.     

四次函数实零点的完全判据和正定条件

本文给出了四次函数实零点的完全判据和正定条件,这一结果在研究多项式系统的奇点分析和分支问题时给出了可以实用的判据．     

一类非线性对偶系统的渐近解及其可解性条件

利用渐近理论,讨论了一类非线性对偶系统.在适当的条件下,得出了这一类非线性系统解的存在性条件及其渐近解.将此结果用于二自由度陀螺系统,较简捷地得到了该系统的具有小而有限振幅的渐近解.     

Sobolev-Type Classes of Functions with Values in a Metric Space. II

We prove equivalence of the definitions by the author and by Korevaar and Schoen of the Sobolev classes of mappings of a domain of an arithmetic n-dimensional space to a metric space.     

Fixed point theorems for multivalued nonexpansive mappings satisfying inwardness conditions

Let X be a Banach space whose characteristic of noncompact convexity is less than 1 and satisfies the nonstrict Opial condition. Let C be a bounded closed convex subset of X, KC(X) the family of all compact convex subsets of X and T a nonexpansive mapping from C into KC(X) with bounded range. We prove that T has a fixed point. The nonstrict Opial condition can be removed if, in addition, T is an 1-χ-contractive mapping.